×

skolem function meaning in Chinese

斯柯伦函数

Examples

  1. In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
    本文给出了是否能抽取出无skolem函数的程序的充分必要条件,同时给出了抽取算法。

Related Words

  1. skolem
  2. skolem范式
  3. skolem悖论
  4. skolem函数
  5. skolem standard form
  6. skolem normal form
  7. skolek
  8. skolem
  9. skolem normal form
  10. skolem standard form
PC Version

Copyright © 2018 WordTech Co.